Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
361	RODIN (Rigorous Open Development Environment for Complex Systems) Project Number: ISTJoey Coleman1 , Cliff Jones1 , Ian Oliver2 , Alexander Romanovsky1 , and Elena Troubitsyna3 1 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-06-09 09:16:29 Software Computing Formal methods Software engineering Dependability Quality Safety Safety engineering Systems engineering B-Method Project management Programming tool
362	OpusGenerated by Doxygen Contents Add to Reading List Source URL: opus-codec.com Language: English - Date: 2016-07-22 06:01:18 C++ C Software engineering Computer programming Computing Typedef Const Reference Compatibility of C and C++
363	SIMCADE V.2.0 Solidification and Heat Transfer Simulation Software SOLIDIFICATION AND HEAT TRANSFER SIMULATION SOFTWARE DESIGN, ENGINEERING AND SCIENTIFIC APPLICATIONS Add to Reading List Source URL: simcade.com Language: English - Date: 2013-11-25 08:03:58 Materials science Casting Jewellery making Metallurgy Ingot Numerical analysis Simulation software Visual arts Porosity Finite element method
364	Reflections on Courses for Software Language Engineering Anya Helene Bagge Ralf Lämmel Vadim Zaytsev Add to Reading List Source URL: models2014.webs.upv.es Language: English - Date: 2014-10-03 04:53:37 Notation Software language Xtext Software development Scientific modelling Computing Epistemology Business
365	Some F# Practicalities Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-15 17:47:12 Software engineering Computer programming Computing Functional languages Procedural programming languages Object-oriented programming languages Cross-platform software F Sharp Microsoft Research Eval D
366	Precise Automatable Analytical Modeling of the Cache Behavior of Codes with Indirections ´ DOALLO DIEGO ANDRADE, BASILIO B. FRAGUELA, and RAMON Universidade da Coruna Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2008-02-19 05:12:01 Software engineering Computer programming Computing Compiler optimizations Cache Computer memory Locality of reference Software optimization Optimizing compiler For loop Infinite loop Ada
367	Runtime_Tools Copyright © Ericsson AB. All Rights Reserved. Runtime_Tools 1.10 June 21, 2016 Copyright © Ericsson AB. All Rights Reserved. Add to Reading List Source URL: erlang.org Language: English - Date: 2016-06-22 03:51:14 Software engineering Computer programming Computing Debuggers Concurrent programming languages Ericsson Erlang LTTng String Tracing
368	Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-09-05 00:16:54 Software engineering Computing Computer programming Type theory Data types Object-oriented programming Concurrent programming languages Type system Scala Intent Type safety Java
369	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel. Corin Alistair Gurr A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosoph Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Software engineering Computing Software Evaluation strategy Incremental computing Partial evaluation Programming language implementation Interpreter Logic programming Programming language Meta Eval
370	TECHSHEET Trimble Access Software: Monitoring Key Features Simple monitoring workflows Add to Reading List Source URL: trl.trimble.com Language: English Civil engineering Geodesy Optical devices Surveying Engineering Geographic data and information Measurement Free stationing Total station Trimble Navigation Epoch Computer-aided audit tools

UPDATE